Mathematical model - PDFSEARCH.IO - Document Search Engine

Mathematical model
Results: 5928

#	Item
201	Microsoft Word - Volatility-of-volatility Risk in Asset Pricing_tfc_1122 Add to Reading List Source URL: www.cb.cityu.edu.hk Language: English - Date: 2016-07-08 00:02:25 Mathematical finance Finance Money Economy Volatility Implied volatility VIX Variance risk premium Beta Capital asset pricing model Financial risk Market risk
202	On the rules of intermediate logics Rosalie Iemhoff ∗ Institute for Discrete Mathematics and Geometry E104, Vienna University of Technology Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:19:27 Logic Mathematical logic Non-classical logic Modal logic Model theory Philosophical logic Admissible rule Intermediate logic Kripke semantics Propositional calculus Completeness Modal companion
203	Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:05 Logic Mathematical logic Model theory Ontology Philosophy Temporal logic Non-classical logic Philosophical logic Tbox Abox Modal logic Kripke structure
204	1 Finding Almost-Invariants in Distributed Systems Maysam Yabandeh‡ , Abhishek Anand† , Marco Canini∗ , and Dejan Kosti´c∗ ∗ EPFL, Lausanne, Switzerland † Cornell University, Ithaca NY, USA, (work done duri Add to Reading List Source URL: perso.uclouvain.be Language: English - Date: 2014-02-09 12:29:53 Logic Mathematical logic Computing Formal methods Predicate logic Finite model theory Computer programming Invariant First-order logic Daikon FO Chord
205	predicate logic logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:18 Logic Mathematical logic Predicate logic Propositional calculus Model theory Syntax First-order logic Well-formed formula Proposition Functional predicate Predicate variable Universal quantification
206	An effective technique for solving optimization problems over massive data sets is to partition the data into smaller pieces, solve the problem on each piece and compute a representative solution from it, and finally obt Add to Reading List Source URL: mmds-data.org Language: English - Date: 2016-06-23 15:50:48 Submodular set function Reduction Economic model Algorithm Mathematics Mathematical optimization Cognitive science Theoretical computer science
207	A(nother) characterization of Intuitionistic Propositional Logic Rosalie Iemho ILLC/Faculty of Science Universiteit van Amsterdam Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2010-08-24 07:12:03 Logic Mathematical logic Modal logic Non-classical logic Model theory Propositional calculus Admissible rule Intermediate logic Kripke semantics Substitution FO Modal companion
208	Identifying and Harnessing the Building Blocks of Machine Learning Pipelines for Sensible Initialization of a Data Science Automation Tool arXiv:1607.08878v1 [cs.NE] 29 Jul 2016 Add to Reading List Source URL: arxiv.org Language: English - Date: 2016-07-31 20:28:45 Artificial intelligence Machine learning Learning Mathematical optimization Model selection Ensemble learning Cybernetics Hyperparameter optimization Supervised learning Pipeline K-nearest neighbors algorithm Boosting
209	BRIDGES Mathematical Connections in Art, Mnsic, and Science The Circle: A Paradigm for Paradox Add to Reading List Source URL: archive.bridgesmathart.org Language: English - Date: 2014-07-01 10:13:24 Geometry Space Hyperbolic geometry Elementary geometry Classical geometry Foundations of geometry Non-Euclidean geometry Euclidean geometry BeltramiKlein model Hyperbolic space Parallel Absolute geometry
210	spcl.inf.ethz.ch @spcl_eth TIMO SCHNEIDER <> DPHPC Recitation Session Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2015-11-23 13:58:39 Algebra Mathematics Mathematical analysis Roofline model Software optimization Software testing Matrix theory Matrix Pi

UPDATE